Image analysis and tracking based research

Brigham Young University and University of Idaho - technical reference sources, software for designing and analyzing CPUs, and career information.

University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms.

ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics.

University of New South Wales - Logic and model theory, belief revision.

University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence.

Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science.

School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.

Software engineering improvement, especially focusing on cycle time.

The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.